($x$ when $e$) $\,\equiv$$_{\mbox{\scriptsize def}}$$\;\;$s($e$.1;$e$.2).$x$